ON SMALL CLAUSE AND CANONICAL STRUCTURAL REALIZATION

On Non-Canonical Clause Linkage

The present paper investigates a certain subset of clause linkage phenomena and develops a constraint-based account to the empirical fact that clauses need to be distinguished w.r.t their degree of integratedness into a potential matrix clause. Considering as example German, it is shown that the generally assumed twofold distinction between main and subordinate clauses (or root and embedded cla...

Canonical Realization Of

The canonical realization of general time systems by dynamical systems is discussed employing the notation and definitions of Takahara and Mesarovic. Previous results are extended to the case of causal, but not necessarily stationary, systems and to stationary, strongly connected systems. Conditions are provided under which a time system is guaranteed to have a canonical representation from wit...

On Generating Small Clause Normal Forms

In this paper we focus on two powerful techniques to obtain compact clause normal forms: Renaming of formulae and reened Skolem-ization methods. We illustrate their eeect on various examples. By an exhaustive experiment of all rst-order TPTP problems, it shows that our clause normal form transformation yields fewer clauses and fewer literals than the methods known and used so far. This often al...

Computing Small Clause Normal Forms

A Canonical Realization of the BMS

A canonical realization of the BMS (Bondi-Metzner-Sachs) algebra is given on the phase space of the classical real Klein-Gordon field. By assuming the finiteness of the generators of the Poincaré group, it is shown that a countable set of conserved quantities exists (supertransla-tions); this set transforms under a particular Lorentz representation, which is uniquely determined by the requireme...